From 49964796c7682fbc937b43ee374defb94a41b101 Mon Sep 17 00:00:00 2001 From: "kfraser@localhost.localdomain" Date: Tue, 23 Jan 2007 15:14:45 +0000 Subject: [PATCH] x86: flush_tlb_mask() should take into account specified VA to flush on local processor. Signed-off-by: K. Y. Srinivasan --- xen/arch/x86/smp.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/smp.c b/xen/arch/x86/smp.c index 2d14240039..cc6739abea 100644 --- a/xen/arch/x86/smp.c +++ b/xen/arch/x86/smp.c @@ -188,7 +188,10 @@ void __flush_tlb_mask(cpumask_t mask, unsigned long va) if ( cpu_isset(smp_processor_id(), mask) ) { - local_flush_tlb(); + if ( va == FLUSHVA_ALL ) + local_flush_tlb(); + else + local_flush_tlb_one(va); cpu_clear(smp_processor_id(), mask); } -- 2.30.2